1

Restructuring of COBOL/CICS legacy systems

Year:
2002
Language:
english
File:
PDF, 1.89 MB
english, 2002
2

Confluence for process verification

Year:
1996
Language:
english
File:
PDF, 1.79 MB
english, 1996
5

Enteroclysis: The small bowel enema

Year:
1979
Language:
english
File:
PDF, 7.17 MB
english, 1979
6

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes

Year:
1998
Language:
english
File:
PDF, 134 KB
english, 1998
8

Example Verifications Using Alphabet Axioms

Year:
1998
Language:
english
File:
PDF, 149 KB
english, 1998
12

Intubation routes for enteroclysis.

Year:
1986
Language:
english
File:
PDF, 342 KB
english, 1986
16

ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY

Year:
1998
Language:
english
File:
PDF, 1.09 MB
english, 1998
25

Radiologic Examination of the Small Intestine by Duodenal Intubation

Year:
1974
Language:
english
File:
PDF, 13.57 MB
english, 1974
35

Jules de Bruycker

Year:
1997
Language:
english
File:
PDF, 1.06 MB
english, 1997